A sufficient condition for first order non-definability of arrowing problems
نویسنده
چکیده
We here present a sufficient condition for general arrowing problems to be non definable in first order logic, based in well known tools of finite model theory e.g. Hanf’s Theorem and known concepts in finite combinatorics, like senders and determiners.
منابع مشابه
Nvestigation of a Boundary Layer Problem for Perturbed Cauchy-Riemann Equation with Non-local Boundary Condition
Boundary layer problems (Singular perturbation problems) more have been applied for ordinary differential equations. While this theory for partial differential equations have many applications in several fields of physics and engineering. Because of complexity of limit and boundary behavior of the solutions of partial differential equations these problems considered less than ordinary case. In ...
متن کاملDetecting the location of the boundary layers in singular perturbation problems with general linear non-local boundary conditions
Singular perturbation problems have been studied by many mathematicians. Since the approximate solutions of these problems are as the sum of internal solution (boundary layer area) and external ones, the formation or non-formation of boundary layers should be specified. This paper, investigates this issue for a singular perturbation problem including a first order differential equation with gen...
متن کاملFixed-Parameter Tractability, Definability, and Model-Checking
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized model-checking problems for various fragments of first-order logic as generic parameterized problems and show how this approach can be useful in studying both fixed-parameter tractability and intractability. For exampl...
متن کاملExistence of positive solution to a class of boundary value problems of fractional differential equations
This paper is devoted to the study of establishing sufficient conditions for existence and uniqueness of positive solution to a class of non-linear problems of fractional differential equations. The boundary conditions involved Riemann-Liouville fractional order derivative and integral. Further, the non-linear function $f$ contain fractional order derivative which produce extra complexity. Than...
متن کاملEpimorphisms in Cylindric Algebras and Definability in Finite Variable Logic
The main result gives a sufficient condition for a class K of finite dimensional cylindric algebras to have the property that not every epimorphism in K is surjective. In particular, not all epimorphisms are surjective in the classes CAn of n-dimensional cylindric algebras and the class of representable algebras in CAn for finite n > 1, solving Problem 10 of [28] for finite n. By a result of Né...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1209.0802 شماره
صفحات -
تاریخ انتشار 2012